منابع مشابه
The representational adequacy of Hybrid
The Hybrid system (Ambler et al., 2002b), implemented within Isabelle/HOL, allows object logics to be represented using higher order abstract syntax (HOAS), and reasoned about using tactical theorem proving in general and principles of (co)induction in particular. The form of HOAS provided by Hybrid is essentially a lambda calculus with constants. Of fundamental interest is the form of the lamb...
متن کاملModel Adequacy
Models, modeling languages, modeling frameworks and their background have dominated research on information systems engineering for last four decades. Models are mainly used as mediators between the application world and the implementation or system world. Modelling is still conducted as the work of an artisan and workmanship. While a general notion of the model and of the conceptual model has ...
متن کاملInvestigating the Adequacy of Nurses\' Training based on a Hybrid Approach
Background: In the present era, training is one of the most complex tasks in the human resource management of organizations and also one of the factors in organizational productivity. This study was conducted to identify the dimensions and components of adequate training of nurses with an emphasis on psychological empowerment. Materials and Methods: The present study is quantitative and qualit...
متن کاملAssessing Model Adequacy
Environmental models are simplified representations of complex physical systems. The implementation of any such model, as a computer simulator, involves further simplifications and approximations. The value of the resulting simulator, in giving scientific and practical insights into the functioning of the corresponding physical system, depends both on the nature and degree of these simplificati...
متن کاملQuantifying the land footprint of Germany and the EU using a hybrid accounting model
Footprint analysis reveals the appropriation of land resources from a consumer’s perspective. We here present a novel hybrid land-flow accounting method for the calculation of land footprints, employing a globally consistent top-down approach and combining physical with environmentaleconomic accounting. Physical accounting tracks food products from ‘field to plate’ and non-food from ‘field to i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Educational Considerations
سال: 2001
ISSN: 0146-9282
DOI: 10.4148/0146-9282.1284